\begin{tabbing}
$\forall$\=${\it poss}$:(ES\{i\}$\rightarrow$Prop$_{\mbox{\scriptsize i'}}$), $R$:(possible{-}event\{i:l\}(${\it poss}$)$\rightarrow$possible{-}event\{i:l\}(${\it poss}$)$\rightarrow$Prop$_{\mbox{\scriptsize i'}}$),\+
\\[0ex]$P$:(possible{-}event\{i:l\}(${\it poss}$)$\rightarrow$Prop$_{\mbox{\scriptsize i'}}$), $e$:possible{-}event\{i:l\}(${\it poss}$).
\-\\[0ex]es{-}knows\{i:l\}(${\it poss}$; $R$; $P$; $e$) $\in$ Prop$_{\mbox{\scriptsize i'}}$
\end{tabbing}